David Carnegie - PDFSEARCH.IO - Document Search Engine

David Carnegie
Results: 214

#	Item
111	Cuckoo Filter: Practically Better Than Bloom Bin Fan, David G. Andersen, Michael Kaminsky† , Michael D. Mitzenmacher‡ Carnegie Mellon University, † Intel Labs, ‡ Harvard University {binfan,dga}@cs.cmu.edu, michae Add to Reading List Source URL: www.pdl.cmu.edu Language: English - Date: 2015-01-22 13:21:08 Information retrieval Artificial intelligence Bloom filter Cuckoo hashing Hash table Hash function Perfect hash function Trie Lookup table Hashing Search algorithms Information science
112	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science
113	Communication Efficient Distributed Machine Learning with the Parameter Server Mu Li∗† , David G. Andersen∗ , Alexander Smola∗‡ , and Kai Yu† ∗ Carnegie Mellon University † Baidu ‡ Google Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-11-05 12:24:13 Computational statistics Stochastic gradient descent Stochastic optimization Mathematical optimization Support vector machine Distributed computing Algorithm Statistics Machine learning Mathematics
114	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
115	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
116	Mini Symposia & Workshops Mini Symposia & Workshops Add to Reading List Source URL: media.nips.cc Language: English - Date: 2008-12-11 17:19:23 Machine learning Year of birth missing Cybernetics Terry Sejnowski Conference on Neural Information Processing Systems Carnegie Mellon University Sebastian Thrun David S. Touretzky Artificial intelligence Science Neuroscience
117	TOPIC MODELS DAVID M. BLEI PRINCETON UNIVERSITY JOHN D. LAFFERTY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2015-03-12 00:16:20 Bayesian statistics Latent Dirichlet allocation Bayesian networks Graphical models Statistical models Plate notation Topic model Mixture model Dirichlet distribution Statistics Probability and statistics Statistical natural language processing
118	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing